Save 50% Off Your First Hosting Invoice at GlowHost.com

$20 Off Any Invoice (Minimum Order: $100) at Jiffy Lube

10% Off Invoice To Avail (Members Only) at Pitch Ground

10% Off The Invoice For All The Tools at Pitch Ground

10% Off Data Backup & Tranfer New Computer Setup, And Computer Repair at HelloTech

10% Off Data Backup & Transfer, New Computer Setup, And Computer Repair at HelloTech

$30 Off (1) Flight And (1) Hotel When Purchased On The Same Invoice at Student Universe

20% Off Computer Desk at Songmics

35% Off Select Software at Raxco Software

30% Off Select Software at Raxco Software

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a system, with special attention on the role of system software in this process. They further develop the general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation for recovery, and the recovery procedure. For each of the three processes, they analyze the requirements and properties theoretically and give possible implementation scenarios and system software support required. Based on the theoretical results, the authors derive an Oberon-based programming language with direct support of the three processes of GAFT.  In the last part of this book, they introduce a simulator, using it as a proof of concept implementation of a novel fault tolerant processor architecture (ERRIC) and its newly developed runtime system feature-wise and performance-wise. The content applies to industries such as military, aviation, intensive health care, industrial control, space exploration, etc.Â

This book constitutes the refereed proceedings of the 12th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2017, held in Zadar, Croatia, in May 2017. The 35 revised full papers presented together with 4 keynote lectures were carefully reviewed and selected from 46 submissions. The papers deal with environmental challenges and try to provide solutions using forward-looking and leading-edge IT technology. They are organized in the following topical sections: air and climate; water and hydrosphere; health and biosphere; risk and disaster management; information systems; and modelling, visualization and decision support.

There is currently no description available

There is currently no description available

There is currently no description available